Rahul Sharma

Results: 25



#Item
1

Data-Driven Equivalence Checking Rahul Sharma Eric Schkufza Berkeley Churchill

Add to Reading List

Source URL: raw.githubusercontent.com

Language: English
    2

    Sound Loop Superoptimization for Google Native Client Berkeley Churchill Rahul Sharma ∗ JF Bastien

    Add to Reading List

    Source URL: raw.githubusercontent.com

      3

      Conditionally Correct Superoptimization Rahul Sharma Eric Schkufza Berkeley Churchill

      Add to Reading List

      Source URL: theory.stanford.edu

      - Date: 2015-09-11 02:07:20
        4Mathematics / Data management / Mathematical notation / Tuple / Type theory

        A Truly Dynamic Data Structure for Top-k Queries on Uncertain Data Manish Patil, Rahul Shah, Sharma V. Thankachan Louisiana State University, USA July 20, 2011

        Add to Reading List

        Source URL: ssdbm2011.ssdbm.org

        Language: English - Date: 2011-09-01 18:39:35
        5Compiler optimizations / Compilers / X86 architecture / Programming language implementation / Compiler construction / X86 / Low-level programming language / GNU Compiler Collection / LLVM / Assembly language / Superoptimization / Program optimization

        research highlights DOI:70 1 Stochastic Program Optimization By Eric Schkufza, Rahul Sharma, and Alex Aiken

        Add to Reading List

        Source URL: raw.githubusercontent.com

        Language: English
        6

        1 Here Today, Gone Tomorrow: Exploiting Transient Servers in Data Centers Rahul Singh† , Prateek Sharma, David Irwin, Prashant Shenoy, and K.K. Ramakrishnan‡ University of Massachusetts Amherst

        Add to Reading List

        Source URL: www.ecs.umass.edu

        Language: English - Date: 2014-08-13 10:33:24
          7

          Stochastic Optimization of Floating-Point Programs with Tunable Precision Eric Schkufza Rahul Sharma

          Add to Reading List

          Source URL: raw.githubusercontent.com

          Language: English
            8

            A Domain-Specific Language for Computing on Encrypted Data Alex Bain, John Mitchell, Rahul Sharma, Deian Stefan and Joe Zimmerman Stanford University, Stanford, CA Abstract

            Add to Reading List

            Source URL: eprint.iacr.org

            Language: English - Date: 2012-02-14 19:51:38
              9

              BARC NEWSLETTER -TOCOTRIENOL INDUCED APOPTOSIS IN TUMOR CELLS THROUGH ACTIVATION OF INTRINSIC AND EXTRINSIC PATHWAYS Chandan Wilankar, Nazir M. Khan, Rahul Checker, Deepak Sharma, R. S. Patwardhan, Santosh. K. Sandur

              Add to Reading List

              Source URL: www.barc.gov.in

              Language: English - Date: 2013-12-06 05:47:14
                10

                BARC NEWSLETTER CONTRIBUTION OF ERK & NRF-2-ARE PATHWAY TO CONSTITUTIVE AND INDUCIBLE RADIORESISTANCE OF TUMOR CELLS VIS A VIS NORMAL CELLS Raghavendra S. Patwardhan, Rahul Checker, Deepak Sharma, Santosh Kumar Sandur an

                Add to Reading List

                Source URL: www.barc.gov.in

                Language: English - Date: 2013-12-06 05:47:00
                  UPDATE